例句與造句

1. In intuitionistic type theory, new terms of equality start with reflexivity.
2. In intuitionistic type theory, the equality type is known as I for identity.
3. A prototypical example is intuitionistic type theory, which retains ramification but discards impredicativity.
4. Epigram exploits the propositions as types principle, and is based on intuitionistic type theory.
5. Induction-Recursion came out of investigations to the rules of Martin-L鰂's intuitionistic type theory.
6. It's difficult to find intuitionistic type theory in a sentence. 用intuitionistic type theory造句挺難的
7. Dependent types play a central role in intuitionistic type theory and in the design of functional programming languages like Epigram.
8. This idea lies at the basis of the Curry & ndash; Howard isomorphism, and of intuitionistic type theory.
9. Nuprl uses a type system based on Martin-L鰂 intuitionistic type theory to model mathematical statements in a digital library.
10. Some other type theories include Per Martin-L鰂's intuitionistic type theory, which has been the foundation used in some areas of Agda.
11. Intuitionistic type theory is based on a certain analogy or isomorphism between propositions and types : a proposition is identified with the type of its proofs.
12. Martin-L鰂's intuitionistic type theory developed the notion of dependent types and directly influenced the development of the calculus of constructions and the Idris.
13. Two well-known type theories that can serve as mathematical foundations are Alonzo Church's typed ?-calculus and Per Martin-L鰂's intuitionistic type theory.
14. Per Martin-L鰂 found a type theory that corresponded to predicate logic by introducing dependent types, which became known as intuitionistic type theory or Martin-L鰂 type theory.
15. Anders is the brother of Per Martin-L鰂, who was responsible for a pioneering definition of randomness, as well as a foundation for constructive mathematics based on intuitionistic type theory.
16. In mathematical logic, Martin-L鰂 has been active in developing intuitionistic type theory as a constructive foundation of mathematics; Martin-L鰂's work on type theory has influenced computer science.
更多例句：  下一頁